Unselect search button if there is search result

https://bugzilla.gnome.org/show_bug.cgi?id=640464

diff --git a/js/ui/searchDisplay.js b/js/ui/searchDisplay.js
index 45fccd6ea5addd1574c83953dd97d09eeed1a680..3ed60ad5e824af2471a99e5546a6606c472435b7 100644 (file)
--- a/js/ui/searchDisplay.js
+++ b/js/ui/searchDisplay.js
@@ -309,6 +309,8 @@ SearchResults.prototype = {
             this._statusText.set_text(_("No matching results."));
             this._statusText.show();
         } else {
+            this._selectedOpenSearchButton = -1;
+            this._updateOpenSearchButtonState();
             this._statusText.hide();
         }